Tootfinder

#Verpasstodon
Anrufe von KI-generiertem Biden: Verantwortlicher verteidigt Vorgehen
Automatische Anrufe einer KI-generierten Stimme Joe Bidens haben in den USA für Aufregung gesorgt. Nachdem er enttarnt wurde, meldet sich der Verantwortliche.

"At least two dozen countries worldwide have already made the sensible transition to some form of automatic tax filing, not necessarily just for low-income citizens, but in many cases for everyone. The UK, Japan, Australia, Denmark, Chile, and Portugal have implemented some version of an automated, digital tax system, and none of them have turned back."
How the tax industry is keeping automatic filing out of reach – Canadian Dimension

How the tax industry is keeping automatic filing out of reach
In the unfair fight for automatic tax filing, Canadians need to get behind the underdog. While many of us might welcome and benefit from this service, it’s our vulnerable friends and neighbours who need it the most. We must come together to join the chorus calling for this crucial tax reform—and be louder than those motivated by nothing more than greed.

GOP Legislators Undermine Public Health As #Measles Spreads Across 15 States - National Memo
https://www.nationalmemo.com/measles-outbreak-2667403432

GOP Legislators Undermine Public Health As Measles Spreads Across 15 States
West Virginia’s Republicans passed a bill through the House of Delegates on Monday that would allow religious exemptions for vaccines required for school attendance. The bill comes as dozens of measles cases across 15 states have been reported.

Anrufe von KI-generiertem Biden: Verantwortlicher verteidigt Vorgehen
Automatische Anrufe einer KI-generierten Stimme Joe Bidens haben in den USA für Aufregung gesorgt. Nachdem er enttarnt wurde, meldet sich der Verantwortliche.

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic
Peter Habermehl, Michal He\v{c}ko, Vojt\v{e}ch Havlena, Luk\'a\v{s} Hol\'ik, Ond\v{r}ej Leng\'al
https://arxiv.org/abs/2403.18995

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic
We present a new angle on solving quantified linear integer arithmetic based on combining the automata-based approach, where numbers are understood as bitvectors, with ideas from (nowadays prevalent) algebraic approaches, which work directly with numbers. This combination is enabled by a fine-grained version of the duality between automata and arithmetic formulae. In particular, we employ a construction where states of automaton are obtained as derivatives of arithmetic formulae: then every sta…

Debian's #CVE20243094 fix was, unsurprisingly, to revert, reporting that "the [xz-utils] package has been reverted to use the upstream 5.4.5 code, which we have versioned 5.6.1 really5.4.5-1."
Great package version.

This https://arxiv.org/abs/2309.01051 has been replaced.
link: https://scholar.google.com/scholar?q=a

On Galois self-orthogonal algebraic geometry codes
Galois self-orthogonal (SO) codes are generalizations of Euclidean and Hermitian SO codes. Algebraic geometry (AG) codes are the first known class of linear codes exceeding the Gilbert-Varshamov bound. Both of them have attracted much attention for their rich algebraic structures and wide applications in these years. In this paper, we consider them together and study Galois SO AG codes. A criterion for an AG code being Galois SO is presented. Based on this criterion, we construct several new cl…

Bei den mittelalterlichen Festen feiere ich die Authentizität. Wie zum Beispiel dieser Akku-Lautsprecher auf dem Rücken des Herren, aus dem 900 Jahrhundert, der mit einem restaurierten Sack versehen wurde.

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic
Peter Habermehl, Michal He\v{c}ko, Vojt\v{e}ch Havlena, Luk\'a\v{s} Hol\'ik, Ond\v{r}ej Leng\'al
https://arxiv.org/abs/2403.18995

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic
We present a new angle on solving quantified linear integer arithmetic based on combining the automata-based approach, where numbers are understood as bitvectors, with ideas from (nowadays prevalent) algebraic approaches, which work directly with numbers. This combination is enabled by a fine-grained version of the duality between automata and arithmetic formulae. In particular, we employ a construction where states of automaton are obtained as derivatives of arithmetic formulae: then every sta…